﻿#region License statement
// NJamb, a specification and delta-specification DSL
// Copyright (c) 2010-2011, Mark Knell
// Published under the MIT License; all other rights reserved
#endregion

#region using...
using System;
using Stile.Patterns.SelfDescribingPredicates;
#endregion

namespace NJamb.Specifications.Delta
{
	public interface IPreconditionEvaluation : IDisposable
	{
		IEvaluation Evaluation { get; }
		IEvaluable<IEvaluation> GetPostcondition();
	}
}
